Structural Correspondence Specification Environment

This article presents tile Structural Correspondence Speclflcatlon Environment (S('SE) being Implemented at GETA-The SCSE is designed to help linguists to develop, consult and verify the SCS Gr'alt~nar s (SCSG) which specify I lngulst ic models. It Integrates the t eclln 1 clues of' data bases, structured edltors and language interpreters. We argue that formalisms and tools of specification are as Important as the specification itself. For quite some time, It has been recognized that tile specification Is very important in tile development of large computer systems as well as the linguistic computer systenls. But it ls very difficult to make good use of specification without a well defined formalism and convenient tool. The Structural Correspondence Specification Gran~ar (SCSG) is a powerful linguist ic specification Formalism. the SCSGs were ftrst studied in S.Chappuy's thesis (1}, under the supervision of Professor B. VaLIqUOt s. In their paper presented at Colgate University in 1985 {6} SCSG was called Static Greener, as opposed to dynamic grammars which are executable programs, because the 8CSG aims at specifying WI4AT the linguistic models are rather than IIOW they are calculated, A SCSG describes a llnqulstlc medel by specifying the correspondence between the valid surface strings of words and the multi=level structures or a language. Thus, from a SCSG, one can obtain at the same tlme valid str lngs, valid structures and the relat ton between them. A SCSG can be used for the synthesis of' dynamic gralr~}lars (analyser and generator) and as a reference for large linguistic systems. An SOS Language (SCSL) has been designed at GETA, tn whlcll the SCSG can be ]lnearly written. The SCS Environment (SCSE) presented here ts a compLIter aided SCSG des lgn system. I t wl 1 1 al low lhlgulsts to create, modify, consult and verify their granlnars in a convenient way and therefore to augment their productivity. Sect 1on I gives a outline of the system: Its architecture, pr Inciple, data structure and comdnand syntax. Section II describes the malrl functions of the system. We conclude by gtvtng a perspective for luther developments el' the system. The SCSE can be logically divided tn five parts: 1 SCSG base 2. monitor 3. input 4. output 5. procedures The SCSG base consists of a set of files Contalnlng tile grarrlnars, lhe base has a hlerarchtca] structure. A tree form directory describes tile relationship between the data of the base. The monitor …